Hlavní stránka > Výsledky hledání: keywords:"inner models"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.06 vteřin. 
Konstruktivní univerzum L
 Ketner, Michal ; Honzík, Radek (vedoucí práce) ; Přenosil, Adam (oponent)
Tato práce zkoumá univerzum konstruktivních množin L, jak ho definoval Godel. Práce srovnává dva způsoby konstrukce L: jeden přes formalizaci relace splňovaní a druhý pomocí konečně mnoha tzv.rudimentárních funkcí, které L generují. Práce dále povede k ověření implikace Con(ZF)→Con(ZFC + CH). Práce má podat ucelený pohled na konstrukci L a ověření relativní konzistence CH. Powered by TCPDF (www.tcpdf.org)
Úplný záznam
Konstruktivní univerzum L
 Ketner, Michal ; Honzík, Radek (vedoucí práce) ; Přenosil, Adam (oponent)
Tato práce zkoumá univerzum konstruktivních množin L, jak ho definoval Godel. Práce srovnává dva způsoby konstrukce L: jeden přes formalizaci relace splňovaní a druhý pomocí konečně mnoha tzv.rudimentárních funkcí, které L generují. Práce dále povede k ověření implikace Con(ZF)→Con(ZFC + CH). Práce má podat ucelený pohled na konstrukci L a ověření relativní konzistence CH. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English